if [ "$grub_platform" = "pc" ]; then
  menuentry $"Hardware Info" --id 'hdt' {
    echo $"Loading Memory Disk ..."
    linux16 /boot/memdisk
    echo $"Loading hdt.img ..."
    initrd16 /boot/hdt.img
  }
fi
